Concurrency computer science) - PDFSEARCH.IO - Document Search Engine

Concurrency computer science)
Results: 359

#	Item
271	Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TR[removed]September 14, 2012 Add to Reading List Source URL: pmg.csail.mit.edu Language: English - Date: 2012-09-18 11:16:47 Thread Java Platform Standard Edition Java Lock Aeolus Fork Parallel computing Exception handling Computing Concurrency control Concurrent computing
272	PARTICIPANT RELEASE, WAIVER AND CONSENT NOTE: by signing this document you are giving up important legal rights, including the right to sue in case of personal injury. 1. Release Regarding Images: Add to Reading List Source URL: sportyukon.com Language: English - Date: 2013-06-28 17:49:29 Process calculi Synchronization Sherbrooke Use of performance-enhancing drugs in sport Internet privacy Human behavior Computer science Computing Concurrency Concurrency control Construction and Analysis of Distributed Processes
273	Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TR[removed]June 30, 2008 Add to Reading List Source URL: pmg.csail.mit.edu Language: English - Date: 2008-08-05 14:34:45 Data Databases Concurrency control Database management systems Replication Barbara Jane Liskov Serializability Database Byzantine fault tolerance Computing Data management Transaction processing
274	OCLC Connexion Browser Guides Edit Bibliographic Records Last updated: May[removed]Kilgour Place, Dublin, OH[removed] Add to Reading List Source URL: www.oclc.org Language: English - Date: 2014-10-06 09:06:32 Data Library of Congress Concurrency control Online Computer Library Center MARC standards Cataloging Bibliographic record Authority control Lock Library science Library automation Information
275	Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TR[removed]September 14, 2012 Add to Reading List Source URL: www.pmg.csail.mit.edu Language: English - Date: 2012-09-18 11:16:47 Thread Java Platform Standard Edition Java Lock Aeolus Fork Parallel computing Exception handling Computing Concurrency control Concurrent computing
276	Event-driven Programming for Robust Software Frank Dabek, Nickolai Zeldovich, Frans Kaashoek, David Mazi`eres, Robert Morris MIT Laboratory for Computer Science {fdabek,kolya,kaashoek,rtm}@lcs.mit.edu, [removed] Add to Reading List Source URL: people.csail.mit.edu Language: English Thread Concurrency control Callback Asynchronous I/O Kernel Parallel computing Scheduling Critical section Concurrent data structure Computing Computer programming Concurrent computing
277	The file below has been _archived_ for historical reference purposes only. The content and links are no longer maintained and may be outdated. See the _OER_Public_Archive_Home_Page_ for more details about archived file Add to Reading List Source URL: grants.nih.gov Language: English - Date: 2011-11-30 15:48:50 Scientific modeling Simulation National Science Board Computer simulation Supercomputer Computer programming Concurrency Computing Small Business Administration Small Business Innovation Research
278	Asynchronous Assertions Edward E. Aftandilian Samuel Z. Guyer Martin Vechev Add to Reading List Source URL: www.eecs.tufts.edu Language: English - Date: 2011-08-22 11:35:37 Concurrency control Assertion Debugging Logic in computer science Thread Copy-on-write Garbage collection Monitor Objective-C Computing Computer programming Software engineering
279	VSE - Verification Support Environment Andreas Nonnengart and Georg Rock and Werner Stephan German Research Center for Artificial Intelligence Stuhlsatzenhausweg 3, 66123 Saarbr¨ucken, Germany {nonnenga,rock,stephan}@df Add to Reading List Source URL: www.verisoft.de Language: English - Date: 2013-04-11 05:48:57 Temporal logic Computer science Software Logic Concurrency Formal methods VSE
280	Putting Opacity in its Place Mohsen Lesani Computer Science Department University of California, Los Angeles, CA ABSTRACT Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2012-08-15 23:50:13 Computing Data Software transactional memory Algorithm Model theory Linearizability Serializability Opacity Concurrency control Transaction processing Data management

UPDATE